$\forall$$k$:FinProbSpace, $n$:$\mathbb{N}$, $X$, $Y$:RandomVariable($k$;$n$). $X$ $\ast$ $Y$ $\in$ RandomVariable($k$;$n$)